1. Advances in database technology--EDBT '92 :
پدیدآورنده : A. Pirotte, C. Delobel, G. Gottlob, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bases de données -- Gestion -- Congrès.,Database management -- Congresses.,Database management.
2. Algebraic Complexity Theory
پدیدآورنده : by Peter Bürgisser, Michael Clausen, Mohammad Amin Shokrollahi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Combinatorics.,Computer software.,Geometry, Algebraic.,Group theory.,Mathematics.,Matrix theory.
3. Algebraic and logic programming :
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
4. Algorithms + data structures=programs /
پدیدآورنده : Niklaus Wirth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer programming.,Data structures (Computer science),Computers.,Algorithmes.,Programmation (Informatique),Structures de données (Informatique),Algorithmes.,Algorithmus,Algorithmus.,Algoritmen.,Computer algorithms.,Computer programming.,Data structures (Computer science),Datastructuren.,Datenstruktur,Datenstruktur.,Langages de programmation-- Problèmes et exercices.,Logiciels.,Ordinateurs-- Programmation.,PASCAL,PASCAL (Programmiersprache),PASCAL.,Programmation (mathématiques),Programmeren (computers),Programmiersprache,Programmiersprache.,Programmierung,Programmierung.,Softwareentwicklung,Softwareentwicklung.,Structures de données (informatique)
رده :
QA76
.
6
.
W56
5. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information theory.,Software engineering.,Theory of Computation.
6. Automata, languages and programming :
پدیدآورنده : edited by G. Ausiello and C. Böhm.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
7. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
8. Baltic Computer Science :
پدیدآورنده : by Janis Barzdins, Dines Bjorner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
9. Big Java :
پدیدآورنده : Cay Horstmann
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Java (Computer program language)
رده :
QA76
.
73
.
J38
H67
2013
10. C℗ compiler concepts
پدیدآورنده : B. Teufel, S. Schmidt, T. Teufel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Compilers (Computer programs),Programming languages (Electronic computers)
11. C programming :
پدیدآورنده : David R. Brooks.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C (Computer program language)
رده :
QA76
.
73
.
C15
D385
9999
12. Common LISP :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : LISP (Computer program language),LISP (Computer program language),TECHNOLOGY & ENGINEERING / Electrical.
رده :
QA76
.
73
.
C28
T68
2015
13. Computation mathematical programming
پدیدآورنده : edited by K.L. Hoffman, R.H.F. Jackson, J. Telgen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Civil & Environmental Engineering.,Programming (Mathematics),Programming (Mathematics) -- Congresses.
رده :
QA402
.
5
E358
1987
14. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
15. Computer-aided design and manufacturing :
پدیدآورنده : T Kohonen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
TS155
.
6
T564
2012
16. Curves and surfaces for CAGD :
پدیدآورنده : Gerald Farin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer-aided design.,Computer graphics.,Computer-aided design.,MATHEMATICS-- Geometry-- Algebraic.,Processamento gráfico.
رده :
T385
.
F37
2002eb
17. Declarative networking /
پدیدآورنده : Boon Thau Loo, Wenchao Zhou
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols,Computer networks-- Management,Declarative programming
رده :
QA76
.
615
.
L663
2012
18. First course in algorithms through puzzles /
پدیدآورنده : Ryuhei Uehara.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer algorithms.
رده :
QA9
.
58
19. Foundations of software science and computation structures :
پدیدآورنده : FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
20. Fundamentals of Java programming /
پدیدآورنده : Mitsunori Ogihara.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Java (Computer program language),Computer programming-- software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Programming Languages-- Java.,Java (Computer program language),Programming & scripting languages: general.
رده :
QA76
.
73
.
J38
